[INFO] fetching crate tla-checker 0.3.6...
[INFO] testing tla-checker-0.3.6 against try#0abe69e6c16114311cc2700e972492e64d69c28f for pr-154065-1
[INFO] extracting crate tla-checker 0.3.6 into /workspace/builds/worker-0-tc2/source
[INFO] started tweaking crates.io crate tla-checker 0.3.6
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate tla-checker 0.3.6
[INFO] tweaked toml for crates.io crate tla-checker 0.3.6 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate tla-checker 0.3.6 on toolchain 0abe69e6c16114311cc2700e972492e64d69c28f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate tla-checker 0.3.6 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3af358f2dfc0b91db64a597eb3578fe69c6b5b99d344d029169dbfe0e7364306
[INFO] running `Command { std: "docker" "start" "-a" "3af358f2dfc0b91db64a597eb3578fe69c6b5b99d344d029169dbfe0e7364306", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3af358f2dfc0b91db64a597eb3578fe69c6b5b99d344d029169dbfe0e7364306", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3af358f2dfc0b91db64a597eb3578fe69c6b5b99d344d029169dbfe0e7364306", kill_on_drop: false }`
[INFO] [stdout] 3af358f2dfc0b91db64a597eb3578fe69c6b5b99d344d029169dbfe0e7364306
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d8f067e75388884563385954e935eb803449ff9b4fa2f11ab3ef95376891c61c
[INFO] running `Command { std: "docker" "start" "-a" "d8f067e75388884563385954e935eb803449ff9b4fa2f11ab3ef95376891c61c", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling cc v1.2.57
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling castaway v0.2.4
[INFO] [stderr]    Compiling convert_case v0.10.0
[INFO] [stderr]    Compiling instability v0.3.12
[INFO] [stderr]    Compiling indoc v2.0.7
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling compact_str v0.9.0
[INFO] [stderr]    Compiling mio v1.1.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling lru v0.16.3
[INFO] [stderr]    Compiling signal-hook v0.3.18
[INFO] [stderr]    Compiling litrs v1.0.0
[INFO] [stderr]    Compiling signal-hook-mio v0.2.5
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling num-conv v0.2.0
[INFO] [stderr]    Compiling num_threads v0.1.7
[INFO] [stderr]    Compiling stacker v0.1.23
[INFO] [stderr]    Compiling document-features v0.2.12
[INFO] [stderr]    Compiling time v0.3.47
[INFO] [stderr]    Compiling line-clipping v0.3.5
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling unicode-truncate v2.0.1
[INFO] [stderr]    Compiling darling_core v0.23.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling strum_macros v0.27.2
[INFO] [stderr]    Compiling derive_more-impl v2.1.1
[INFO] [stderr]    Compiling derive_more v2.1.1
[INFO] [stderr]    Compiling crossterm v0.29.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling kasuari v0.4.12
[INFO] [stderr]    Compiling ar_archive_writer v0.5.1
[INFO] [stderr]    Compiling psm v0.1.30
[INFO] [stderr]    Compiling darling_macro v0.23.0
[INFO] [stderr]    Compiling strum v0.27.2
[INFO] [stderr]    Compiling ratatui-core v0.1.0
[INFO] [stderr]    Compiling darling v0.23.0
[INFO] [stderr]    Compiling ratatui-widgets v0.3.0
[INFO] [stderr]    Compiling ratatui-crossterm v0.1.0
[INFO] [stderr]    Compiling ratatui v0.30.0
[INFO] [stderr]    Compiling tla-checker v0.3.6 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 50.33s
[INFO] running `Command { std: "docker" "inspect" "d8f067e75388884563385954e935eb803449ff9b4fa2f11ab3ef95376891c61c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d8f067e75388884563385954e935eb803449ff9b4fa2f11ab3ef95376891c61c", kill_on_drop: false }`
[INFO] [stdout] d8f067e75388884563385954e935eb803449ff9b4fa2f11ab3ef95376891c61c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a08c439324032490168deff3b5f827810a1334937ba385232bf57f93f86a3b19
[INFO] running `Command { std: "docker" "start" "-a" "a08c439324032490168deff3b5f827810a1334937ba385232bf57f93f86a3b19", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.47
[INFO] [stderr]    Compiling zerocopy-derive v0.8.47
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling clap_lex v1.1.0
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling tla-checker v0.3.6 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling clap v4.6.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 52.19s
[INFO] running `Command { std: "docker" "inspect" "a08c439324032490168deff3b5f827810a1334937ba385232bf57f93f86a3b19", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a08c439324032490168deff3b5f827810a1334937ba385232bf57f93f86a3b19", kill_on_drop: false }`
[INFO] [stdout] a08c439324032490168deff3b5f827810a1334937ba385232bf57f93f86a3b19
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] ba2c0150aefb2441edad0ef9b815f91e1cecc0af7e2505133843fe5dc09b9bdb
[INFO] running `Command { std: "docker" "start" "-a" "ba2c0150aefb2441edad0ef9b815f91e1cecc0af7e2505133843fe5dc09b9bdb", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.27s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/tla_checker-8b7002598e1f2b1b)
[INFO] [stdout] 
[INFO] [stdout] running 158 tests
[INFO] [stdout] test checker::tests::counter_passes ... ok
[INFO] [stdout] test checker::tests::counterexample_actions_alignment ... ok
[INFO] [stdout] test checker::tests::format_trace_output ... ok
[INFO] [stdout] test checker::tests::deadlock_spec_allowed ... ok
[INFO] [stdout] test config::tests::apply_config_specification_resolves_init_next ... ok
[INFO] [stdout] test checker::tests::export_dot_includes_back_edges ... ok
[INFO] [stdout] test config::tests::apply_config_symmetry_permutations ... ok
[INFO] [stdout] test config::tests::error_invalid_check_deadlock ... ok
[INFO] [stdout] test config::tests::parse_action_constraints ... ok
[INFO] [stdout] test config::tests::parse_block_comment ... ok
[INFO] [stdout] test checker::tests::export_dot_string_produces_graph ... ok
[INFO] [stdout] test config::tests::apply_config_specification_inlined_multi_var ... ok
[INFO] [stdout] test checker::tests::counter_fails_invariant ... ok
[INFO] [stdout] test config::tests::parse_constant_empty_set ... ok
[INFO] [stdout] test config::tests::parse_constant_model_value ... ok
[INFO] [stdout] test config::tests::parse_constant_no_assignment ... ok
[INFO] [stdout] test config::tests::parse_constant_value_booleans ... ok
[INFO] [stdout] test config::tests::parse_constant_value_integers ... ok
[INFO] [stdout] test config::tests::parse_constant_value_model_value ... ok
[INFO] [stdout] test config::tests::parse_constant_value_sets ... ok
[INFO] [stdout] test config::tests::parse_constant_value_strings ... ok
[INFO] [stdout] test config::tests::parse_constants ... ok
[INFO] [stdout] test config::tests::parse_constraints ... ok
[INFO] [stdout] test config::tests::parse_escaped_quotes_in_string ... ok
[INFO] [stdout] test config::tests::parse_full_cfg ... ok
[INFO] [stdout] test config::tests::parse_init_next ... ok
[INFO] [stdout] test config::tests::parse_invariants ... ok
[INFO] [stdout] test config::tests::parse_invariants_keyword ... ok
[INFO] [stdout] test config::tests::parse_line_comment ... ok
[INFO] [stdout] test config::tests::parse_multiple_constants_sections ... ok
[INFO] [stdout] test config::tests::parse_negative_integer ... ok
[INFO] [stdout] test config::tests::parse_properties ... ok
[INFO] [stdout] test config::tests::parse_set_of_strings ... ok
[INFO] [stdout] test config::tests::parse_check_deadlock_true ... ok
[INFO] [stdout] test config::tests::error_unexpected_token ... ok
[INFO] [stdout] test checker::tests::two_bit_counter ... ok
[INFO] [stdout] test config::tests::parse_specification ... ok
[INFO] [stdout] test config::tests::parse_check_deadlock_false ... ok
[INFO] [stdout] test config::tests::apply_config_specification_missing_box_action_errors ... ok
[INFO] [stdout] test config::tests::split_top_level_escaped_quotes ... ok
[INFO] [stdout] test diagnostic::tests::find_similar_names ... ok
[INFO] [stdout] test config::tests::parse_specification_with_init_next_errors ... ok
[INFO] [stdout] test checker::tests::deadlock_detected ... ok
[INFO] [stdout] test diagnostic::tests::levenshtein_basic ... ok
[INFO] [stdout] test diagnostic::tests::render_colored_disabled_matches_plain ... ok
[INFO] [stdout] test diagnostic::tests::render_colored_note_and_help ... ok
[INFO] [stdout] test diagnostic::tests::multiple_notes_appended ... ok
[INFO] [stdout] test config::tests::parse_symmetry ... ok
[INFO] [stdout] test diagnostic::tests::render_simple_no_initial_states ... ok
[INFO] [stdout] test eval::tests::eval_addition ... ok
[INFO] [stdout] test eval::tests::eval_bool_false ... ok
[INFO] [stdout] test eval::tests::eval_bool_true ... ok
[INFO] [stdout] test eval::tests::eval_disjunction ... ok
[INFO] [stdout] test config::tests::parse_constant_string_values ... ok
[INFO] [stdout] test eval::tests::eval_division_by_zero ... ok
[INFO] [stdout] test eval::tests::eval_equality ... ok
[INFO] [stdout] test eval::tests::eval_exists ... ok
[INFO] [stdout] test eval::tests::eval_function_application ... ok
[INFO] [stdout] test eval::tests::eval_if_then_else ... ok
[INFO] [stdout] test eval::tests::eval_function_definition ... ok
[INFO] [stdout] test eval::tests::eval_forall ... ok
[INFO] [stdout] test eval::tests::eval_int_literal ... ok
[INFO] [stdout] test eval::tests::eval_in_int_range ... ok
[INFO] [stdout] test eval::tests::eval_let_binding ... ok
[INFO] [stdout] test eval::tests::eval_in_set ... ok
[INFO] [stdout] test eval::tests::eval_record_literal ... ok
[INFO] [stdout] test eval::tests::eval_not_in_set ... ok
[INFO] [stdout] test diagnostic::tests::render_error_with_span ... ok
[INFO] [stdout] test eval::tests::eval_set_range ... ok
[INFO] [stdout] test eval::tests::eval_cardinality ... ok
[INFO] [stdout] test eval::tests::eval_set_enum ... ok
[INFO] [stdout] test eval::tests::eval_tuple_literal ... ok
[INFO] [stdout] test eval::tests::eval_definition_call ... ok
[INFO] [stdout] test eval::tests::make_primed_names_correct ... ok
[INFO] [stdout] test eval::tests::eval_conjunction ... ok
[INFO] [stdout] test eval::tests::eval_undefined_variable ... ok
[INFO] [stdout] test eval::tests::init_states_simple ... ok
[INFO] [stdout] test eval::tests::eval_variable_lookup ... ok
[INFO] [stdout] test eval::tests::next_states_deadlock ... ok
[INFO] [stdout] test eval::tests::next_states_counter ... ok
[INFO] [stdout] test eval::tests::init_states_multiple ... ok
[INFO] [stdout] test eval::tests::state_to_env_roundtrip ... ok
[INFO] [stdout] test export::tests::dot_mode_default_is_clean ... ok
[INFO] [stdout] test export::tests::dot_mode_display ... ok
[INFO] [stdout] test export::tests::dot_mode_from_str_invalid ... ok
[INFO] [stdout] test export::tests::render_choices_fallback_to_full ... ok
[INFO] [stdout] test export::tests::render_clean_mode_merges_parallel_edges ... ok
[INFO] [stdout] test export::tests::render_trace_fallback_to_full ... ok
[INFO] [stdout] test graph::tests::graph_basic_operations ... ok
[INFO] [stdout] test graph::tests::trace_reconstruction ... ok
[INFO] [stdout] test export::tests::render_trace_mode_only_trace_nodes ... ok
[INFO] [stdout] test export::tests::dot_mode_from_str_valid ... ok
[INFO] [stdout] test lexer::tests::lex_comment ... ok
[INFO] [stdout] test lexer::tests::lex_basic ... ok
[INFO] [stdout] test modules::tests::cyclic_dependency_detected ... ok
[INFO] [stdout] test liveness::tests::fair_cycle_with_action ... ok
[INFO] [stdout] test lexer::tests::lex_operators ... ok
[INFO] [stdout] test modules::tests::registry_default_is_empty ... ok
[INFO] [stdout] test modules::tests::registry_new_is_empty ... ok
[INFO] [stdout] test export::tests::render_choices_mode_includes_alternatives ... ok
[INFO] [stdout] test modules::tests::resolve_instances_static_and_parameterized ... ok
[INFO] [stdout] test parser::tests::parse_exists ... ok
[INFO] [stdout] test parser::tests::parse_if_condition_with_and ... ok
[INFO] [stdout] test modules::tests::load_nonexistent_module ... ok
[INFO] [stdout] test parser::tests::parse_if_then_else ... ok
[INFO] [stdout] test parser::tests::parse_fn_def ... ok
[INFO] [stdout] test parser::tests::parse_inline_and_within_conjunction_list ... ok
[INFO] [stdout] test parser::tests::parse_if_with_conjunction_list ... ok
[INFO] [stdout] test parser::tests::exists_in_conjunction_list_does_not_absorb_outer_conjuncts ... ok
[INFO] [stdout] test parser::tests::parse_if_condition_with_or ... ok
[INFO] [stdout] test modules::tests::search_path_resolution ... ok
[INFO] [stdout] test modules::tests::load_and_cache_module ... ok
[INFO] [stdout] test parser::tests::parse_set_range ... ok
[INFO] [stdout] test parser::tests::parse_record ... ok
[INFO] [stdout] test parser::tests::parse_simple_infix_and ... ok
[INFO] [stdout] test parser::tests::parse_set_enum ... ok
[INFO] [stdout] test parser::tests::parse_primed_var ... ok
[INFO] [stdout] test parser::tests::parse_inline_disjunctions_in_bulleted_list ... ok
[INFO] [stdout] test parser::tests::parse_spec_counter ... ok
[INFO] [stdout] test parser::tests::parse_simple_expr ... ok
[INFO] [stdout] test scc::tests::multiple_sccs ... ok
[INFO] [stdout] test scc::tests::no_cycle ... ok
[INFO] [stdout] test parser::tests::parse_spec_definition_stored ... ok
[INFO] [stdout] test scc::tests::simple_cycle ... ok
[INFO] [stdout] test scc::tests::nontrivial_filter ... ok
[INFO] [stdout] test scenario::tests::parse_complex_condition ... ok
[INFO] [stdout] test scc::tests::self_loop ... ok
[INFO] [stdout] test scenario::tests::parse_fn_app_condition ... ok
[INFO] [stdout] test scenario::tests::parse_multiple_conditions ... ok
[INFO] [stdout] test parser::tests::parse_tuple ... ok
[INFO] [stdout] test scenario::tests::reject_invalid_line ... ok
[INFO] [stdout] test scenario::tests::parse_simple_condition ... ok
[INFO] [stdout] test source::tests::line_col_multi_line ... ok
[INFO] [stdout] test source::tests::line_col_single_line ... ok
[INFO] [stdout] test substitution::tests::prime_fn_app ... ok
[INFO] [stdout] test source::tests::line_text_retrieval ... ok
[INFO] [stdout] test source::tests::slice_extraction ... ok
[INFO] [stdout] test substitution::tests::apply_substitutions_replaces_in_defs ... ok
[INFO] [stdout] test substitution::tests::prime_binary_add ... ok
[INFO] [stdout] test parser::tests::parse_unchanged ... ok
[INFO] [stdout] test substitution::tests::prime_if_then_else ... ok
[INFO] [stdout] test substitution::tests::prime_simple_var ... ok
[INFO] [stdout] test substitution::tests::substitute_if_then_else ... ok
[INFO] [stdout] test substitution::tests::substitute_let_binding_scope ... ok
[INFO] [stdout] test substitution::tests::prime_literal_unchanged ... ok
[INFO] [stdout] test substitution::tests::prime_record_access ... ok
[INFO] [stdout] test substitution::tests::substitute_literal_unchanged ... ok
[INFO] [stdout] test substitution::tests::substitute_respects_binding_scope ... ok
[INFO] [stdout] test substitution::tests::substitute_nested_and ... ok
[INFO] [stdout] test substitution::tests::substitute_prime_with_binary_replacement ... ok
[INFO] [stdout] test symmetry::tests::canonicalize_handles_nested_structures ... ok
[INFO] [stdout] test symmetry::tests::canonicalize_produces_identical_states_for_symmetric_inputs ... ok
[INFO] [stdout] test substitution::tests::substitute_var_matches ... ok
[INFO] [stdout] test symmetry::tests::canonicalize_swaps_elements_based_on_first_occurrence ... ok
[INFO] [stdout] test substitution::tests::substitute_var_no_match ... ok
[INFO] [stdout] test symmetry::tests::single_element_set_no_change ... ok
[INFO] [stdout] test symmetry::tests::empty_symmetry_returns_same_state ... ok
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/tla-4bc04a78301fd21d)
[INFO] [stderr]      Running tests/oracle.rs (/opt/rustwide/target/debug/deps/oracle-aaf1cacbd6d773fe)
[INFO] [stdout] test export::tests::render_clean_mode_omits_self_loops ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 158 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 51 tests
[INFO] [stdout] test test_bitwise_and ... ok
[INFO] [stdout] test test_should_error_deadlock ... ok
[INFO] [stdout] test test_should_error_extends_cycle ... ok
[INFO] [stdout] test test_should_error_extends_missing_module ... ok
[INFO] [stdout] test test_should_error_extends_parse_error ... ok
[INFO] [stdout] test test_should_error_init_error ... ok
[INFO] [stdout] test test_should_error_invariant_error ... ok
[INFO] [stdout] test test_should_error_missing_constant ... ok
[INFO] [stdout] test test_should_error_next_error ... ok
[INFO] [stdout] test test_should_error_no_init ... ok
[INFO] [stdout] test test_should_error_no_initial_states ... ok
[INFO] [stdout] test test_should_error_no_next ... ok
[INFO] [stdout] test test_should_fail_assume_constraint ... ok
[INFO] [stdout] test test_should_pass_assume_constraint ... ok
[INFO] [stdout] test test_should_pass_bags_operators ... ok
[INFO] [stdout] test test_should_pass_boolean_set ... ok
[INFO] [stdout] test test_should_pass_case_next ... ok
[INFO] [stdout] test test_should_pass_complex_next ... ok
[INFO] [stdout] test test_should_pass_counter ... ok
[INFO] [stdout] test test_should_pass_counter_with_constant ... ok
[INFO] [stdout] test test_should_pass_exponentiation ... ok
[INFO] [stdout] test test_should_pass_extends_file_module ... ok
[INFO] [stdout] test test_official_hanoi ... ok
[INFO] [stdout] test test_should_pass_extends_multiple ... ok
[INFO] [stdout] test test_should_pass_extends_override ... ok
[INFO] [stdout] test test_should_pass_extends_transitive ... ok
[INFO] [stdout] test test_should_pass_if_then_else_next ... ok
[INFO] [stdout] test test_should_pass_inline_disjunction ... ok
[INFO] [stdout] test test_should_pass_lambda ... ok
[INFO] [stdout] test test_should_pass_let_in_next ... ok
[INFO] [stdout] test test_should_pass_is_finite_set ... ok
[INFO] [stdout] test test_should_pass_proper_subset ... ok
[INFO] [stdout] test test_should_pass_recursive_factorial ... ok
[INFO] [stdout] test test_should_pass_recursive_in_next ... ok
[INFO] [stdout] test test_should_pass_specification_directive ... ok
[INFO] [stdout] test test_should_pass_specification_directive_multi_var ... ok
[INFO] [stdout] test test_should_pass_tlc_operators ... ok
[INFO] [stdout] test test_should_pass_traffic_light ... ok
[INFO] [stdout] test test_should_pass_two_bit ... ok
[INFO] [stdout] test test_should_pass_unicode_operators ... ok
[INFO] [stdout] test test_should_violate_counter_overflow ... ok
[INFO] [stdout] test test_should_violate_two_bit_overflow ... ok
[INFO] [stdout] test test_official_twophase ... ok
[INFO] [stdout] test test_transitive_closure ... ok
[INFO] [stdout] test test_pingpong_action_labels_not_unnamed ... ok
[INFO] [stdout] test test_should_pass_pingpong ... ok
[INFO] [stdout] test test_symmetry_reduces_states ... ok
[INFO] [stdout] test test_cfg_cli_constant_overrides_cfg ... ok
[INFO] [stdout] test test_cfg_twophase_auto_load ... ok
[INFO] [stdout] test test_lazy_subset_membership ... ok
[INFO] [stdout] test test_official_queens ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 51 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 13.94s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests tla_checker
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "ba2c0150aefb2441edad0ef9b815f91e1cecc0af7e2505133843fe5dc09b9bdb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ba2c0150aefb2441edad0ef9b815f91e1cecc0af7e2505133843fe5dc09b9bdb", kill_on_drop: false }`
[INFO] [stdout] ba2c0150aefb2441edad0ef9b815f91e1cecc0af7e2505133843fe5dc09b9bdb
